11![UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University](https://www.pdfsearch.io/img/68f952898aab73b2bb646869d8c0f7c6.jpg) | Add to Reading ListSource URL: arieg.bitbucket.ioLanguage: English - Date: 2018-10-19 18:15:18
|
---|
12![Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring Malte Mauritz, Falk Howar, and Andreas Rausch Institute for Applied Software Systems Engineering (IPSSE Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring Malte Mauritz, Falk Howar, and Andreas Rausch Institute for Applied Software Systems Engineering (IPSSE](https://www.pdfsearch.io/img/91f158712d125d0726636fedb12fe7a2.jpg) | Add to Reading ListSource URL: www.falkhowar.deLanguage: English - Date: 2018-09-30 08:43:02
|
---|
13![Challenges and Solutions for Automated Repair of C Code Will Klieber Software Engineering Institute Carnegie Mellon University Challenges and Solutions for Automated Repair of C Code Will Klieber Software Engineering Institute Carnegie Mellon University](https://www.pdfsearch.io/img/819df1a9b38f27846697da9f4d5c08d6.jpg) | Add to Reading ListSource URL: s3.amazonaws.comLanguage: English - Date: 2017-09-26 14:14:33
|
---|
14![An Architecture-Centric Process for MILS Development Julien Delange, Min-Young Nam, Peter Feiler, and Will Klieber Carnegie Mellon Software Engineering Institute 4500 Fifth Avenue Pittsburgh, PA, USA An Architecture-Centric Process for MILS Development Julien Delange, Min-Young Nam, Peter Feiler, and Will Klieber Carnegie Mellon Software Engineering Institute 4500 Fifth Avenue Pittsburgh, PA, USA](https://www.pdfsearch.io/img/79374a0a2790385fc5872f7a8781a69d.jpg) | Add to Reading ListSource URL: mils-workshop-2016.mils.communityLanguage: English - Date: 2016-01-15 03:31:49
|
---|
15![JCCS-a * Information & Software Engineering Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstrasse 9–11/188, JCCS-a * Information & Software Engineering Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstrasse 9–11/188,](https://www.pdfsearch.io/img/58426f3a67827388f869c7ff106ca74a.jpg) | Add to Reading ListSource URL: www.jccs-a.atLanguage: English |
---|
16![Making Embedded Software Reuse Practical and Safe Nancy G. Leveson, Kathryn Anne Weiss Aeronautics and Astronautics; Engineering Systems Massachusetts Institute of Technology , Making Embedded Software Reuse Practical and Safe Nancy G. Leveson, Kathryn Anne Weiss Aeronautics and Astronautics; Engineering Systems Massachusetts Institute of Technology ,](https://www.pdfsearch.io/img/17e179004a5078380b6d7792552d77ff.jpg) | Add to Reading ListSource URL: sunnyday.mit.eduLanguage: English - Date: 2015-12-11 12:32:21
|
---|
17![Is Lines of Code a Good Measure of Effort in Effort-Aware Models? Emad Shihab∗ , Yasutaka Kamei+ , Bram Adams# and Ahmed E. Hassan@ Department of Software Engineering∗ , Rochester Institute of Technology, Rochester, Is Lines of Code a Good Measure of Effort in Effort-Aware Models? Emad Shihab∗ , Yasutaka Kamei+ , Bram Adams# and Ahmed E. Hassan@ Department of Software Engineering∗ , Rochester Institute of Technology, Rochester,](https://www.pdfsearch.io/img/e575727b19dc62fbaf12c194860db3b9.jpg) | Add to Reading ListSource URL: posl.ait.kyushu-u.ac.jpLanguage: English - Date: 2014-03-26 09:47:27
|
---|
18![Economics of Cybersecurity Paul Nielsen Director and CEO Software Engineering Institute Economics of Cybersecurity Paul Nielsen Director and CEO Software Engineering Institute](https://www.pdfsearch.io/img/d855e76ed6630f9cf00762bdb67e5f1c.jpg) | Add to Reading ListSource URL: paris.utdallas.eduLanguage: English - Date: 2016-08-11 16:25:59
|
---|
19![JCCS-a * Information & Software Engineering Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstrasse 9–11/188, JCCS-a * Information & Software Engineering Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstrasse 9–11/188,](https://www.pdfsearch.io/img/dd9cf4dec256d5422ca316daa9741c89.jpg) | Add to Reading ListSource URL: www.jccs-a.atLanguage: English |
---|
20![Decision Knowledge Triggers in Continuous Software Engineering Anja Kleebaum Heidelberg University Institute of Computer Science Decision Knowledge Triggers in Continuous Software Engineering Anja Kleebaum Heidelberg University Institute of Computer Science](https://www.pdfsearch.io/img/4afad8340c62359d0870b82a0a8f364a.jpg) | Add to Reading ListSource URL: cures.ifi.uni-heidelberg.deLanguage: English - Date: 2018-04-09 09:44:42
|
---|